Safety - Critical System Development Methodology
نویسندگان
چکیده
The purpose of this work is to integrate verification techniques in real industrial development processes – from informal textual specification and analysis of requirements to a verified implementation. Therefore, we present methods necessary to bridge the gap from informal requirements towards formal specification and from there to executable implementation. We show which development steps are necessary and how the specifications and models are verified using both automatic and interactive techniques.
منابع مشابه
Formal Methods in the development of safety critical knowledge-based components
The work reported in this paper is part of the ongoing Esprit project Safe-KBS n. 22360∗. A main objective of the project is the definition of a engineering methodology for certifiable knowledge-based software components to be embedded into safety critical systems. Since about a decade the use of formal methods in the development of traditional software for safety critical systems has been grea...
متن کاملA novel fuzzy multi-criteria decision-making methodology based upon the spherical fuzzy sets with a real case study
The choice of roll stabilization system is critical for many types of ships. For warships where operational activities are fast and the concept of time is very effective, determining the most appropriate of these systems is of particular importance. Some operations, such as the landing of the helicopter on board, are critical for naval ships. Unwanted rolling motion makes this difficult. In add...
متن کاملA Methodology for Safety Critical Software Systems Planning
Recently Safety Critical Software Systems (SCSSs) become essential part of many critical systems such as Nuclear Power Plants (NPPs), radiation therapy, aircrafts, and many medical devices. Although of the vital role of SCSSs in saving human life, environment, and properties, there is no generic methodology for developing such systems based on standards and guidelines. This methodology sets an ...
متن کاملCHESS: an Open Source Methodology and Toolset for the Development of Critical Systems
This paper presents the CHESS open source methodology and toolset, aiming to improve MDE practices and technologies to better address safety, reliability, performance, robustness and other non-functional concerns, while guaranteeing correctness of component development and composition for critical embedded systems.
متن کاملESACS: an integrated methodology for design and safety analysis of complex systems
The continuous increase of system complexity – stimulated by the higher complexity of the functionality provided by software-based embedded controllers and by the huge improvement in the computational power of hardware – requires a corresponding increase in the capability of design and safety engineers to maintain adequate safety and reliability levels. Emerging techniques, like formal methods,...
متن کاملA GQM Based Approach towards the Development of Metrics for Software Safety
Corresponding Author: Kotti Jayasri Department of Computer Science and Engineering, GMR Institute of Technology, Rajam, AP, India E-mail: [email protected] Abstract: Software sometimes safety-critical if it resides in a safetycritical computer systems and it causes or contributes to hazards. Therefore, Safety-critical software intensive systems require verification and validation to confir...
متن کامل